natural deduction system
[网络] 自然演绎系统；自然推理系统；自然演译系统
热门查询
- brevity n. 简洁，简短；短暂，短促
- planisphere n. 球体投影图；平面天体图；星座图
- grandma n. 奶奶；外婆
- scramjet n. 超音速燃烧冲压喷气发动机
- Streatham [人名] 斯特里特姆
- underboss 第二把手 二老板
- headnote n. 批注；眉批
- microfilm vt. 缩微拍摄 vi. 缩微拍摄 n. 缩微胶卷
- Hopi n. 霍皮语；霍皮人
- scheming adj. 腹黑
- feebly adv. 无力地；微弱地；柔弱地
- codify vt. 编纂；将...编成法典；编成法典
- Witwatersrand 威特沃特斯兰德
- edward n. 爱德华（男子名）
- sloganeer n. 标语口号作者 vi. 使用标语口号；大量使用标语
- birchbark 桦皮舟
- womanly adj. 像女人的；有女子气质的 adv. 像女人地；适合于妇女地
- reprogram vt. 改编程序；程序重调
- cross-border adj. 跨越边界的；国境线交叉的
- LFS [计] 逻辑文件结构，逻辑文件系统
